$\forall$$r$:CRng, $u$:$\mid$$r$$\mid$. $r${-}Prime($u$) $\Leftarrow\!\Rightarrow$ IsPrimeIdeal($r$;($u$)$r$)